221. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: (طهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
222. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
223. Analysis and synthesis of logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
224. Analysis and synthesis of logics: how to cut and paste reasoning systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A634
2008
225. Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
پدیدآورنده : مولف
کتابخانه: (هرمزکان)
موضوع : Logic, Symbolic and mathematical.
226. Analytical syllogistics;a pragmatic interpretation of the Aristotelian logic
پدیدآورنده : by Delton Thomas Howard
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Aristotle,Logic, Symbolic and mathematical.,Syllogism.
227. Appalachian set theory :
پدیدآورنده : James Cummings, Ernest Schimmerling
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
A66
2013
228. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
229. Applications scientifiques de la logique mathematique
پدیدآورنده :
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical --Congresses
230. Applications scientifiques de la logique mathematique : actes du 2e colloque international de logique mathematique, Paris, 25-30 Aout 1952
پدیدآورنده : Henri Poincare
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
BC
131
.
C65
231. Around and beyond the square of opposition
پدیدآورنده : Jean-Yves Béziau, Dale Jacquette, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inference,Logic, Symbolic and mathematical,Opposition, Theory of
رده :
QA9
.
A76
2012eb
232. Artificial Intelligence in Logic Design
پدیدآورنده : by Svetlana N. Yanushkevich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
233. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده : Jacques Calmet, Jan Plaza )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
234. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
پدیدآورنده : John A. Campbell, Eugenio Roanes-Lozano )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1930
235. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
پدیدآورنده : Bruno Buchberger, John A. Campbell )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3249
236. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
237. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
238. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: (طهران)
موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
239. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : International Conference AISMC-1, )2991: Karlsruhe, Germany(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
240. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
